program specification
英 [ˈprəʊɡræm ˌspesɪfɪˈkeɪʃn]
美 [ˈproʊɡræm ˌspesɪfɪˈkeɪʃn]
网络 程序规约; 概要说明; 程序规范; 程序规格说明; 程序说明书
双语例句
- Authors: Model-based analysis uses a model program a kind of executable specification to check specifications or designs, including communication protocols for example.
作者：基于模型的分析使用了一个模型程序一种可执行的规格说明书去检测规格说明或者设计，例如包含了对通信协议的检测。 - In this paper, the authors used MATLAB to make the structural optimization program of portal frame based on the Technical Specification for Light-Weighted Steel Portal Frames of China.
论文以《门式刚架轻型房屋钢结构技术规程》为基础，采用遗传算法，对门式刚架进行优化设计。 - System tape addition and maintenance program Technical specification for retaining and protection of building foundation excavations
系统带增补与维护程序建筑基坑支护技术规程 - Based on the implementation, it also tests the M3UA program referring to the M3UA test specification.
在实现的基础上，根据M3UA协议测试规范，对M3UA程序进行了测试。 - The models of Program information and design patterns specification improve the effect of the matching algorithms, and the design of separating the design patterns presentation from the matching algorithms get the design patterns detection processes more normative and customizable.
源码信息和设计模式规范都采用模型表示以提高算法的匹配效率，设计模式表示和搜索匹配算法分离的设计使得设计模式探测更具规范性和可定制性。 - Generate testing criteria using decision table method for program specification.
对程序规则说明生成决策表方法的测试标准； - Research on the ADRs system for automatic detection and revision of program specification
程序规范自动检测与修正系统ADRS的研究 - Furthermore, It illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。 - Deriving Program from Program Specification
由程序规约推导程序 - Substituted for the JACKSON structure text as. an intermediate representation between the JACKSON program specification and the final code, the process blueprint improves the traditional JACKSON structured programming method.
使用过程蓝图取代结构文本作为JAOKSON程序规格说明和最终目标源代码的中间表示，改进了传统的JACKSON结构化程序设计方法。 - The Application of Transformation Techniques of Program Specification in Program Design
程序规约变换技术在程序设计中的应用 - Path Independence program is employed as OODB's specification formalism for enhancing the adaptability of database program against the schema evolution.
首先，路径无关语言是一种面向对象数据库的编程语言，它能使程序脱离对细节数据模式的导航，对模式演化具有较强的适应性。 - So in this paper, a practical alias analysis for Java program is given, and the formal specification of the analysis algorithm is also given.
因此给出了一种适用于Java程序的别名分析技术，并给出了分析算法的形式化描述。 - The difference between the testing procedure-oriented software and the 00 testing program which is based on the states is that the former is based on the program and the specification.
与基于程序或规格说明的面向过程软件的测试不同，面向对象软件的测试是基于状态的。 - According to the source that is used to derive tests, software testing is classified into two categories-program based testing and specification based testing.
根据测试用例产生的依据可以将软件测试分为基于程序代码的测试和基于规格说明的测试两大类。 - The thesis design the specification of intrusion detection of the privileged program and network communication in the detail by ASL specification.
本文用ASL详细的设计了特权程序和网络数据包的入侵检测的规范。 - In this paper, a method of getting parallel program from Z specification through refinement of design patterns is proposed.
提出了一种通过对设计模式进行精化，从Z规约开发并行程序的方法。 - The test program uses object-oriented technology and ATLAS specification describing signal, which makes test program having good readability and portability.
测试程序集采用了面向对象的技术和描述信号的ATLAS语言规范，使测试程序具有良好的可读性和可移植性。 - Based on program specification, this dissertation puts forward E-CSPE to define the relationships between events that are event constrains and formulates new event constrains from E-CSPE.
本文从程序规约出发，提出E-CSPE约束描述来定义事件间的依赖关系，即事件约束，并根据E-CSPE约束规则间的关系推导新的事件约束。 - This paper offered a kind of effective method and way for program design. With transformation techniques of program specification, the algorithms of sort and the longest sort ascending can be easily obtained, and the process of program design can be distinctly showed.
本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法，并清晰地展示了程序设计的过程，为算法程序设计提供了一种有效的方法和途径。 - The shortcomings of some bad coding techniques are pointed out in this paper, a well-accepted, standardized coding style and specification suitable for program development is presented. The programming specification and robustness of C/ C++ style software are discussed also.
本文指出某些不良方法所存在的弊病，提出了比较规范的有利于程序开发的编程规范和风格，介绍了C/C++风格软件的编程规范和稳健性问题。 - Formal Method B and Its Program Specification Theory
形式化方法B及其程序规约机理 - In order to use this method to develop a program, first an exact specification of the given problem should be provided in the descriptive language of the ADL;
用这种方法展开程序，首先用ADL描述层语言给出问题功能特性的描述，然后应用变换规则将该描述逐步变换为用ADL核心层语言写出的与其语义等价的程序。 - Program design and specification are executed at a higher level of abstract, this level is very compact and comprehensible.
程序设计和规约是在更高的抽象层次上，这一层次更简洁和易于理解。 - Mapping Jackson program specification into process blueprint
JACKSON程序规格说明到过程蓝图的映射 - The specification based testing can verify whether a program conforms to its specification, which is the aim of testing.
这种测试可以验证程序实现是否符合系统需求，从而实现软件测试的目的。 - A method is proposed for automated unit test of object-oriented program, which uses the specification of extended state diagram as the input.
提出了一种使用经过扩充的状态图规格描述作为输入的自动化单元测试方法。 - Next, examine the existing legal norms of administrative fees relating to the program specification, program administrative fees empirical analysis of the status of legal norms, so that its readers have a comprehensive understanding.
接下来，通过考察我国现行法律规范中有关行政收费程序的规范，实证分析行政收费程序法律规范的现状，以使读者对其有个全面的认识。 - We have analyzed and provided some effective methods on how to extend MCAP framework in following three aspects: real-assmbly-level verification, modular verification with function call/ return, and the improvement of the presentation ability of program specification.
对如何扩展MCAP框架进行了有效的分析，从真实汇编级验证，函数模块化验证和提高程序规范表达能力三个方面提出了扩展方法。 - B is established on Zermelo-Frankel set theory. It expresses states transferring by signal method. So both program and its specification are on uniform framework, which can reduce the possibility of semantic error.
B建立在Zermelo-Frankel集合理论的基础上，它使用符号表示法（广义代换）来表达状态的转换，使程序及其规格说明处于统一的数学框架之下，减少了出现语义错误的可能性。